home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / SAMPLES.LZH / ARROW.PRO < prev    next >
Text File  |  1987-04-05  |  256b  |  9 lines
  1. /* This shows how to define the "->" operator, which is 
  2. introduced in the Clocksin and Mellish second edition. */
  3.  
  4. ?-op( 254, xfy, '->' ).
  5.  
  6. (X -> Y; Z) :- X, !, Y.
  7. (X -> Y; Z) :- Z.
  8.  
  9.